منابع مشابه
Model Checking Legal Documents
This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems.
متن کاملTemporal Dependence in Legal Documents
Tasks and difficulties inherent in the largely open problem of temporal information extraction from legal text are outlined. We demonstrate the efficacy of tools and concepts available “off-the-shelf” and suggest refinements for such applications. In particular, the frequent references between regulatory texts have to be addressed as a separate named entity recognition task that bears relevance...
متن کاملThe Legal-RDF Ontology. A Generic Model for Legal Documents
Legal-RDF.org publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implicit within the HTML, XSL, and Dublin Core dialects. Directed Acyclic Graphs (DAGs) form the foundation of all models within the ontology, that is, DAGNode and DAGModel are the base classes for all other ontology classes,...
متن کاملUsing Legal Definitions to Increase the Accessibility of Legal Documents
Access to legal documents has been hampered by the lack of attention for specific user groups accessing such documents. In this article, we focus on one of these user groups (legal professionals), who can benefit from specific types of cross-lingual information retrieval for, e.g., comparative law research. We propose to use legal definitions as anchor points in legal documents. Through the bod...
متن کاملStructured Queries for Legal Documents Search
This paper reports the experiments of using Indri for the main and routing (relevance feedback) tasks in the TREC 2007 Legal Track. For the main task, we analyze ranking algorithms using different fields, boolean constraints, phrase and synonym operators. Evaluation results show that structured queries outperform bag-of-words ones. For the routing task, we train a linear SVM classifier for each...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ukrainian Religious Studies
سال: 2005
ISSN: 2617-9792,2306-3548
DOI: 10.32420/2005.36.1616